J Cullyer: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Application of formal methods to railway signalling—a case study

Cullyer, John, Wong, Wai

Journal:

Computing & Control Engineering Journal

Year:

1993

Language:

english

File:

PDF, 712 KB

english, 1993

2

Chrysippus on Achilles: The Evidence of Galen "De Placitis Hippocratis et Platonis" 4.6-7

Journal:

The Classical Quarterly

Year:

2008

Language:

english

File:

PDF, 1.51 MB

english, 2008

3

CHRYSIPPUS ON ACHILLES: THE EVIDENCE OF GALEN DE PLACITIS HIPPOCRATIS ET PLATONIS 4.6–7

Journal:

The Classical Quarterly

Year:

2008

Language:

english

File:

PDF, 629 KB

english, 2008

4

A Wind That Blows from Thrace: Dionysus in the Fifth Stasimon of Sophocles' "Antigone"

Journal:

Classical World

Year:

2005

Language:

english

File:

PDF, 728 KB

english, 2005

5

Implementing high integrity systems: the VIPER microprocessor

Journal:

IEEE Aerospace and Electronic Systems Magazine

Year:

1989

File:

PDF, 553 KB

1989

6

Safety critical systems

Journal:

Microprocessors and Microsystems

Year:

1993

Language:

english

File:

PDF, 85 KB

english, 1993

7

On the development of a formal methods-based software design methodology for automotive applications

S Tran, J Cullyer, E Hines, K Marks

Journal:

Microprocessors and Microsystems

Year:

1990

Language:

english

File:

PDF, 364 KB

english, 1990

8

High‐integrity software for automotive applications

Journal:

Proceedings of the Institution of Mechanical Engineers Part D Journal of Automobile Engineering

Year:

1991

Language:

english

File:

PDF, 724 KB

english, 1991

9

Active low-pass linear-phase filters for pulse transmission

D. Storey, W. Cullyer

Year:

1965

Language:

english

File:

PDF, 645 KB

english, 1965

10

Philosophy (W.W.) Fortenbaugh and (S.A.) White Eds. Aristo of Ceos: Text, Translation, and Discussion. (Rutgers University Studies in Classical Humanities [RUSCH] 13). New Brunswick, NJ: Transaction Publishers, 2006. Pp. x + 373. £46.50. 97807658-02835.

Journal:

The Journal of Hellenic Studies

Year:

2007

Language:

english

File:

PDF, 64 KB

english, 2007

11

An Ada model for the specification of control systems

Journal:

Computing & Control Engineering Journal

Year:

1994

File:

PDF, 679 KB

1994

12

Roman Stoicism

Review by: Helen Cullyer

Journal:

The Classical Review

Year:

2006

Language:

english

File:

PDF, 426 KB

english, 2006

13

Tools and techniques for the testing of safety-critical software

Cullyer, W.J., Storey, N.

Journal:

Computing & Control Engineering Journal

Year:

1994

Language:

english

File:

PDF, 588 KB

english, 1994

14

High Integrity Systems

Journal:

IFAC Proceedings Volumes

Year:

1991

Language:

english

File:

PDF, 1.70 MB

english, 1991

15

Reydams-Schils (G.) The Roman Stoics. Self, Responsibility, and Affection. Pp. xii + 210. Chicago and London: The University of Chicago Press, 2005. Cased, £24.50, US $35. ISBN: 0-226-30837-5.

Journal:

The Classical Review

Year:

2006

Language:

english

File:

PDF, 60 KB

english, 2006

16

[IEEE Computer Assurance, 1988. COMPASS '88 - Gaithersburg, MD, USA (27 June-1 July 1988)] Computer Assurance, 1988. COMPASS '88 - Implementing high integrity systems: the VIPER microprocessor

Year:

1988

File:

PDF, 529 KB

1988

17

Aristo of Ceos: Text, Translation, and Discussionby W. W. Fortenbaugh; S. A. White

Review by: Helen Cullyer

Journal:

The Journal of Hellenic Studies

Year:

2007

Language:

english

File:

PDF, 414 KB

english, 2007

18

An Ada model for the specification of control systems

Journal:

Computing & Control Engineering Journal

Year:

1994

Language:

english

File:

PDF, 598 KB

english, 1994

19

Network synthesis using negative-impedance convertors

D. Storey, W. Cullyer

Year:

1964

Language:

english

File:

PDF, 1.62 MB

english, 1964

20

Safety-critical control systems

Journal:

Computing & Control Engineering Journal

Year:

1991

Language:

english

File:

PDF, 872 KB

english, 1991

21

Application of formal methods to the VIPER microprocessor

Cullyer, W.J., Pygott, C.H.

Journal:

IEE Proceedings E Computers and Digital Techniques

Year:

1987

Language:

english

File:

PDF, 1015 KB

english, 1987

22

[IEEE Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security - Gaithersburg, MD, USA (1990.06.25-1990.06.28)] Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. - A formal approach to railway signalling

Cullyer, W.J., Wong, W.

Year:

1990

File:

PDF, 436 KB

1990

23

Tools and techniques for the testing of safety-critical software

Cullyer, W.J., Storey, N.

Journal:

Computing & Control Engineering Journal

Year:

1994

File:

PDF, 699 KB

1994

24

Computer aided layout of microcircuits

Cullyer, W.J., Tubbs, Sylvia, Stockton, A.P.

Journal:

Radio and Electronic Engineer

Year:

1968

Language:

english

File:

PDF, 1.02 MB

english, 1968

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски